postulado 56, poligonos concavos ordenados 95
Todo polígono cóncavo ordenado que se divide en cuadrados congruentes o en rectangulos congruentes de dato (m,r,n) m mayor que r, r mayor que n, n mayor o igual que uno, y que se le circunscribe un rectángulo y un romboide respectivamente son de la forma única dos.